COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	(trace  pcoefadd pcplus pcplus1 pctimes pctimes1 pplus
C00004 ENDMK
C⊗;
(trace  pcoefadd pcplus pcplus1 pctimes pctimes1 pplus
	pplus1 psimp ptimes ptimes1 ptimes2 ptimes3 pexptsq)

(fasload frpoly)

(setq a '(x 1 1 0 1))
(ptimes a a)
(1 ENTER PTIMES ((X 1 1 0 1) (X 1 1 0 1))) 
  (1 ENTER PTIMES1 ((1 1 0 1) (1 1 0 1))) 
    (1 ENTER PTIMES2 ((1 1 0 1))) 
      (2 ENTER PTIMES (1 1)) 
      (2 EXIT PTIMES 1) 
      (2 ENTER PTIMES2 ((0 1))) 
        (2 ENTER PTIMES (1 1)) 
        (2 EXIT PTIMES 1) 
        (3 ENTER PTIMES2 (NIL)) 
        (3 EXIT PTIMES2 NIL) 
        (1 ENTER PCOEFADD (1 1 NIL)) 
        (1 EXIT PCOEFADD (1 1)) 
      (2 EXIT PTIMES2 (1 1)) 
      (1 ENTER PCOEFADD (2 1 (1 1))) 
      (1 EXIT PCOEFADD (2 1 1 1)) 
    (1 EXIT PTIMES2 (2 1 1 1)) 
    (1 ENTER PTIMES3 ((1 1 0 1))) 
      (2 ENTER PTIMES (1 1)) 
      (2 EXIT PTIMES 1) 
      (1 ENTER PPLUS (1 1)) 
        (1 ENTER PCPLUS (1 1)) 
        (1 EXIT PCPLUS 2) 
      (1 EXIT PPLUS 2) 
      (2 ENTER PTIMES (1 1)) 
      (2 EXIT PTIMES 1) 
    (1 EXIT PTIMES3 NIL) 
  (1 EXIT PTIMES1 (2 1 1 2 0 1)) 
  (1 ENTER PSIMP (X (2 1 1 2 0 1))) 
  (1 EXIT PSIMP (X 2 1 1 2 0 1)) 
(1 EXIT PTIMES (X 2 1 1 2 0 1)) 
(X 2 1 1 2 0 1)